Mathilde Arnaud And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
001638 | Mathilde Arnaud [France] ; Véronique Cortier [France] ; Cyrille Wiedling [France] | Analysis of an Electronic Boardroom Voting System |
004C90 | Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Combining Algorithms for Deciding Knowledge in Security Protocols |
This area was generated with Dilib version V0.6.33. |